Multi-Terminal Decision Diagrams: a Data Structure for Numerical Integration⋆
نویسندگان
چکیده
This paper introduces multi-terminal decision diagrams (MTDDs), a generalisation of MTBDDs [15], as a data structure for representing real-valued functions whose arguments are boolean or real variables. These new structures are suitable for numerical integration using quadrature formulas, like trapezoidal, Simpson and Romberg integration schemes. As an application example, we show how MTDDs can be used for a symbolic model checker for continuous-time Markov chains that are at the basis of contemporary performance evaluation and reliability analysis methodologies.
منابع مشابه
Target setting in the process of merging and restructuring of decision-making units using multiple objective linear programming
This paper presents a novel approach to achieving the goals of data envelopment analysis in the process of reconstruction and integration of decision-making units by using multiple objective linear programming. In this regard, first, we review inverse data envelopment analysis models for data reconstruction and integration. We present a model with multi-objective linear programming structure in...
متن کاملSymbolic Representations and Analysis of Large Probabilistic Systems
This paper describes symbolic techniques for the construction, representation and analysis of large, probabilistic systems. Symbolic approaches derive their efficiency by exploiting high-level structure and regularity in the models to which they are applied, increasing the size of the state spaces which can be tackled. In general, this is done by using data structures which provide compact stor...
متن کاملSplit Multi-terminal Binary Decision Diagrams
A new data structure called Split Multi-terminal Binary Decision Diagrams (Split MTBDD) is introduced for representing Multi–Output logic Functions (MOF). Split MTBDDs are efficient for some functions where conventional BDDs are not. A Split MTBDD comprises interconnected MTBDD components, each associated with a “dichotomic fragment”. The “dichotomy” reflects cognitive patterns introduced by th...
متن کاملMulti Terminal Binary Decision Diagrams toRepresent and Analyse Continuous
Binary Decision Diagrams (BDDs) have gained high attention in the context of design and veriication of digital circuits. They have successfully been employed to encode very large state spaces in an eecient, symbolic way. Multi terminal BDDs (MTBDDs) are generali-sations of BDDs from Boolean values to values of any nite domain. In this paper, we investigate the applicability of MTBDDs to the sym...
متن کاملMulti Terminal Binary Decision Diagrams toRepresent and
Binary Decision Diagrams (BDDs) have gained high attention in the context of design and veriication of digital circuits. They have successfully been employed to encode very large state spaces in an eecient, symbolic way. Multi terminal BDDs (MTBDDs) are generali-sations of BDDs from Boolean values to values of any nite domain. In this paper, we investigate the applicability of MTBDDs to the sym...
متن کامل